_require "./030_cycle3.smi"
val y : int
